Software repository - PDFSEARCH.IO - Document Search Engine

Software repository
Results: 773

#	Item
241	Secure Untrusted Data Repository (SUNDR) Jinyuan Li, Maxwell Krohn∗, David Mazi`eres, and Dennis Shasha NYU Department of Computer Science Abstract SUNDR is a network file system designed to store data Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-10-10 04:45:29 Software File system NTFS Network File System Server Inode Computing System software Network file systems
242	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics
243	An Implementation of Transparent Migration on Standard Scheme Eijiro Sumii University of Tokyo Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Lambda calculus Continuations Functional programming Control flow Data types Delimited continuation Call-with-current-continuation Continuation Fixed-point combinator Software engineering Computing Computer programming
244	Creating R Packages, Using CRAN, R-Forge, And Local R Archive Networks And Subversion (SVN) Repositories Spencer Graves PDF Solutions Add to Reading List Source URL: cran.univ-lyon1.fr Language: English - Date: 2009-05-04 09:58:56 Apache Subversion Debian Software repository RExcel Software Free software R
245	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
246	Automatic Generation of Compact Programs and Virtual Machines for Scheme Mario Latendresse Department of Computer Science Rice University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming language implementation Macro Machine code Stack machine Instruction set ARM architecture Tail call Bytecode Programming language Computing Software engineering Computer programming
247	Creating R Packages, Using CRAN, R-Forge, And Local R Archive Networks And Subversion (SVN) Repositories Spencer Graves PDF Solutions Add to Reading List Source URL: cran.um.ac.ir Language: English Apache Subversion Debian Software repository RExcel Software Free software R
248	Journal of Universal Computer Science, vol. 14, no), submitted: , accepted: 6/5/08, appeared: © J.UCS Exposure and Support of Latent Social Networks among Learning Object Repository Us Add to Reading List Source URL: www.lon-capa.org Language: English - Date: 2010-01-03 16:36:21 Social information processing LON-CAPA Distance education Data management Knowledge representation Technical communication E-learning Reuse Social software Education Technology Information
249	Creating R Packages, Using CRAN, R-Forge, And Local R Archive Networks And Subversion (SVN) Repositories Spencer Graves PDF Solutions Add to Reading List Source URL: mirror.mdx.ac.uk Language: English - Date: 2009-05-04 09:58:56 Apache Subversion Debian Software repository RExcel Software Free software R
250	The VLISP Image Builder Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Primitive data type Pointer Java class file Operational semantics Software engineering Data types Computing Theoretical computer science

UPDATE